Ignore:
Timestamp:
2016-07-22T23:32:21+02:00 (8 years ago)
Author:
donvip
Message:

see #josm11390 - update Eclipse preferences files to Java 8

Location:
applications/editors/josm/plugins/OpeningHoursEditor/.settings
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/OpeningHoursEditor/.settings/org.eclipse.jdt.core.prefs

    r30736 r32699  
    77org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled
    88org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
    9 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
    10 org.eclipse.jdt.core.compiler.compliance=1.7
     9org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
     10org.eclipse.jdt.core.compiler.compliance=1.8
    1111org.eclipse.jdt.core.compiler.doc.comment.support=enabled
    1212org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
     
    107107org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning
    108108org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
    109 org.eclipse.jdt.core.compiler.source=1.7
     109org.eclipse.jdt.core.compiler.source=1.8
  • applications/editors/josm/plugins/OpeningHoursEditor/.settings/sf.eclipse.javacc.prefs

    r31696 r32699  
    11CLEAR_CONSOLE=true
    2 JAVACC_OPTIONS=-JDK_VERSION\=1.7 -GRAMMAR_ENCODING\=UTF-8
     2JAVACC_OPTIONS=-JDK_VERSION\=1.8 -GRAMMAR_ENCODING\=UTF-8
    33JJDOC_OPTIONS=
    44JJTREE_OPTIONS=
Note: See TracChangeset for help on using the changeset viewer.