Fri, 29 Apr 2016 19:53:19 -0700 8139837: JShell API: make a common JShellException
rfield [Fri, 29 Apr 2016 19:53:19 -0700] rev 37751
8139837: JShell API: make a common JShellException Reviewed-by: jlahoda
Fri, 29 Apr 2016 15:35:51 -0700 8154482: javadoc tool must support legacy doclet and taglet
ksrini [Fri, 29 Apr 2016 15:35:51 -0700] rev 37750
8154482: javadoc tool must support legacy doclet and taglet Reviewed-by: jjg
Fri, 29 Apr 2016 14:18:09 -0700 8154270: javac wrongly rejects some class literals as annotation element values
jjg [Fri, 29 Apr 2016 14:18:09 -0700] rev 37749
8154270: javac wrongly rejects some class literals as annotation element values Reviewed-by: mcimadamore Contributed-by: cushon@google.com
Thu, 28 Apr 2016 09:39:17 -0700 Merge
lana [Thu, 28 Apr 2016 09:39:17 -0700] rev 37748
Merge
Thu, 28 Apr 2016 05:10:11 +0000 8154119: Module summary page should display module description
bpatel [Thu, 28 Apr 2016 05:10:11 +0000] rev 37747
8154119: Module summary page should display module description Reviewed-by: jjg
Wed, 27 Apr 2016 19:56:44 -0700 8155580: jshell tool: push for -R missed added file MessageHandler.java
rfield [Wed, 27 Apr 2016 19:56:44 -0700] rev 37746
8155580: jshell tool: push for -R missed added file MessageHandler.java Reviewed-by: jlahoda
Wed, 27 Apr 2016 18:13:19 -0700 8150382: JShell API: Allow setting remote JVM arguments
rfield [Wed, 27 Apr 2016 18:13:19 -0700] rev 37745
8150382: JShell API: Allow setting remote JVM arguments 8151754: jshell tool: add command line options for setting feedback mode Reviewed-by: jlahoda
Fri, 15 Apr 2016 11:39:31 +0200 8154283: Check for clash between package and class not working when package in a different module
jlahoda [Fri, 15 Apr 2016 11:39:31 +0200] rev 37744
8154283: Check for clash between package and class not working when package in a different module Summary: Looking for any visible package when checking for package-class clash Reviewed-by: jjg
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 tip