4.0.0 org.openstreetmap.josm.plugins plugin-root SNAPSHOT OpeningHoursEditor ${plugin.link} Falko Thomale src 19044 Falko Thomale org.openstreetmap.josm.plugins.ohe.OhePlugin extended options for editing opening_hours images/opening_hours.png https://wiki.openstreetmap.org/wiki/JOSM/Plugins/OpeningHoursEditor true org.codehaus.mojo javacc-maven-plugin javacc javacc false false ${java.lang.version} UTF-8 true ${plugin.src.dir} **/OpeningTimeCompiler.jj **/*.java org.apache.maven.plugins maven-jar-plugin ${plugin.link} ${plugin.icon} ${plugin.canloadatruntime}