Wed, 05 Apr 2017 14:05:00 -0700 8065825: Make the java -help consistent with the man page
ksrini [Wed, 05 Apr 2017 14:05:00 -0700] rev 44541
8065825: Make the java -help consistent with the man page Reviewed-by: alanb
Thu, 06 Apr 2017 10:41:31 -0400 8178154: Typo in Object.finalize deprecation javadoc
rriggs [Thu, 06 Apr 2017 10:41:31 -0400] rev 44540
8178154: Typo in Object.finalize deprecation javadoc Reviewed-by: mchung
Thu, 06 Apr 2017 16:17:03 +0200 8178077: jshell tool: crash on ctrl-up or ctrl-down
jlahoda [Thu, 06 Apr 2017 16:17:03 +0200] rev 44539
8178077: jshell tool: crash on ctrl-up or ctrl-down Summary: When looking up a private method, using the ConsoleReader.class, instead of getClass(), which may return a subclass. Reviewed-by: rfield
Thu, 06 Apr 2017 14:38:15 +0100 8178139: Minor typo in API documentation of java.util.logging.Logger
dfuchs [Thu, 06 Apr 2017 14:38:15 +0100] rev 44538
8178139: Minor typo in API documentation of java.util.logging.Logger Reviewed-by: lancea
Thu, 06 Apr 2017 09:00:47 +0100 8178101: Migrate the thread deprecation technote to javadoc doc-files
chegar [Thu, 06 Apr 2017 09:00:47 +0100] rev 44537
8178101: Migrate the thread deprecation technote to javadoc doc-files Reviewed-by: dholmes
Thu, 06 Apr 2017 09:33:47 +0800 8177640: jdk/internal/util/jar/TestVersionedStream.java fails on Windows
amlu [Thu, 06 Apr 2017 09:33:47 +0800] rev 44536
8177640: jdk/internal/util/jar/TestVersionedStream.java fails on Windows Reviewed-by: psandoz
Wed, 05 Apr 2017 10:55:31 -0700 8177980: ResourceBundle.getBundle throws NoClassDefFoundError when fails to define a class
mchung [Wed, 05 Apr 2017 10:55:31 -0700] rev 44535
8177980: ResourceBundle.getBundle throws NoClassDefFoundError when fails to define a class Reviewed-by: naoto, lancea
Wed, 05 Apr 2017 09:57:32 -0400 8165641: Deprecate Object.finalize
rriggs [Wed, 05 Apr 2017 09:57:32 -0400] rev 44534
8165641: Deprecate Object.finalize Reviewed-by: mchung, smarks
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 tip