From fbc7befa84797ada32355e1a01fb97b242d1cd20 Mon Sep 17 00:00:00 2001
From: Jakub Valtar <jakub.valtar@gmail.com>
Date: Wed, 20 Sep 2017 14:58:41 +0200
Subject: [PATCH] Fix scrub comments for empty block comment /**/

Fixes #5219
---
 java/src/processing/mode/java/pdex/SourceUtils.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/src/processing/mode/java/pdex/SourceUtils.java b/java/src/processing/mode/java/pdex/SourceUtils.java
index 1c7ae1d29..46dd1abe5 100644
--- a/java/src/processing/mode/java/pdex/SourceUtils.java
+++ b/java/src/processing/mode/java/pdex/SourceUtils.java
@@ -284,7 +284,7 @@ public class SourceUtils {
           }
           break;
         case IN_BLOCK_COMMENT:
-          if (pch == '*' && ch == '/' && (i - blockStart) > 1) {
+          if (pch == '*' && ch == '/' && (i - blockStart) > 0) {
             state = OUT;
           }
           break;