annotate mx.truffle/eclipse-settings/org.eclipse.jdt.core.prefs @ 22311:3f2737e9e4e1

The method documentation says one should throw ClassCastException when the value cannot be converted
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Fri, 16 Oct 2015 08:47:52 +0200
parents 226ce74876b0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22128
f879b1fe3773 Separating the TruffleVM into its own project makes it possible to cleanup various system parts interations
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21961
diff changeset
1 org.eclipse.jdt.core.compiler.problem.invalidJavadoc=ignore